Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
11	Why is distributivity so hard? New evidence from distributive markers and licensors in Czech Jakub Dotlačil Abstract: Sentences with pluralities can be interpreted in several ways. One such interpretation involves colle Add to Reading List Source URL: jakubdotlacil.com Language: English - Date: 2016-05-30 05:11:15
12	Determinate Imperative Programming Determinate Imperative Programming A clocked interpretation of imperative syntax (Extended Abstract) Vijay Saraswat Add to Reading List Source URL: www.saraswat.org Language: English - Date: 2011-09-03 15:25:58
13	BART GEURTS DONKEY BUSINESS ABSTRACT. In this paper I present experimental data showing that the interpretation of donkey sentences is influenced by certain aspects of world knowledge that seem to Add to Reading List Source URL: ncs.ruhosting.nl Language: English - Date: 2008-10-08 07:37:03
14	Twenty (simple) questions Yuval Dagan, Yuval Filmus, Ariel Gabizon, and Shay Moran April 20, 2017 Abstract A basic combinatorial interpretation of Shannon’s entropy function is via the “20 questions” Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2017-04-20 03:30:15
15	ON THE SECOND TATE–SHAFAREVICH GROUP OF A 1–MOTIVE PETER JOSSEN Abstract. We prove finiteness results for Tate–Shafarevich groups in degree 2 associated with 1–motives. We give a number theoretic interpretation o Add to Reading List Source URL: www.jossenpeter.ch Language: English - Date: 2013-02-20 08:24:10
16	Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic. Add to Reading List Source URL: www.philos.rug.nl Language: English - Date: 2013-11-14 05:38:49
17	Result graphs for an abstract interpretation-based static analyzer ∗ Pascal Cuoq Add to Reading List Source URL: www.staticanalysis.org Language: English - Date: 2018-08-17 11:36:52
18	Small Witnesses for Abstract Interpretation-based Proofs Fr´ed´eric Besson, Thomas Jensen, and Tiphaine Turpin IRISA/{Inria, CNRS, Universit´e de Rennes 1} Campus de Beaulieu, FRennes, France Add to Reading List Source URL: people.rennes.inria.fr Language: English - Date: 2014-09-03 04:27:30
19	Compilation and Program Analysis (#8) : Abstract Interpretation Laure Gonnord http://laure.gonnord.org/pro/teaching/capM1.html Master 1, ENS de Lyon Add to Reading List Source URL: laure.gonnord.org Language: English - Date: 2017-11-22 05:22:12
20	Lab Abstract Interpretation, Lab and Project 1.1 Exercises with Pagai http://pagai.forge.imag.fr/ Preparation Add to Reading List Source URL: laure.gonnord.org Language: English

UPDATE